The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic

• 电子商务安全协议及其非单调动态逻辑验证